-
1 программирование логических выводов
Русско-английский словарь по вычислительной технике и программированию > программирование логических выводов
-
2 программирование вывода
схемы вывода; механизмы вывода — inference machinery
Русско-английский словарь по информационным технологиям > программирование вывода
-
3 блок программы, реализующий извлечение правил (напр . из баз данных) и построение умозаключений
Programming: inference engine (часть экспертной системы)Универсальный русско-английский словарь > блок программы, реализующий извлечение правил (напр . из баз данных) и построение умозаключений
-
4 выведение типа
Programming: type inference -
5 выведение типа и полиморфные функции
Programming: type inference and polymorphic functionsУниверсальный русско-английский словарь > выведение типа и полиморфные функции
-
6 вывод типа
Programming: type inference -
7 машина вывода
Programming: inference engine (часть экспертной системы) -
8 нерезолютивный вывод
Programming: non-resolution inferenceУниверсальный русско-английский словарь > нерезолютивный вывод
-
9 блок программы, реализующий извлечение правил и построение умозаключений
Programming: (напр. из баз данных) inference engine (часть экспертной системы)Универсальный русско-английский словарь > блок программы, реализующий извлечение правил и построение умозаключений
-
10 логический вывод
1) General subject: ergotism2) Computers: logical inference4) Mathematics: logical derivation, logical induction, logical judgment5) Law: logical conclusion6) Logics: traduction, logic output7) Information technology: inference, inferencing8) Advertising: logical consequence9) Programming: logical deduction10) Automation: inductive inference11) Makarov: illative result -
11 сделать вывод
1) General subject: collect, conclude, deduce an inference (из фактов), draw a conclusion, draw conclusion, effectuate a conclusion, elicit, put two and two together, (на основе тенденции) connect the dots2) Colloquial: bottom-line3) Mathematics: make a conclusion (that)4) Diplomatic term: draw an inference5) Advertising: draw deduction6) Programming: understand (непереходный)7) Makarov: deduce an inference, draw a deduction -
12 логическое умозаключение
1) Programming: logical inference2) Automation: inductive inference (напр. в экспертной системе)Универсальный русско-английский словарь > логическое умозаключение
-
13 модуль вывода
1) Linguistics: Inference Machine, inference module2) Programming: output module (программируемого контроллера) -
14 выведение
1) General subject: extirpation (насекомых), hatch (цыплят), inference, raising, (радионуклидов из организма) decorporation2) Biology: breeding (животных, птиц)3) Aviation: launch ascent5) Engineering: insertion (на орбиту)6) Agriculture: breeding7) Mathematics: derivation, extraction8) Economy: development (сорта)9) Automobile industry: efflux10) Mining: excretion (пылевых частиц из организма)11) Immunology: clearance12) Astronautics: leading out14) Programming: derivations15) Robots: deduction16) Aviation medicine: excretion (вещества из организма)17) Makarov: elimination (радиоизотопа), hatching (цыплят), nurture (породы, сорта), withdrawal (стержня) -
15 параллельный вывод
1) Information technology: parallel output (данных)2) Programming: parallel inference (напр. машина параллельного вывода)Универсальный русско-английский словарь > параллельный вывод
-
16 суждение
1) General subject: assertion, assessment, bar, blurt, dictum, eye, judgement, judgment, misjudgement, misjudgment, the bar, two cents', verdict, estimation, speculation, view2) Computers: confinement3) Naval: judging4) Engineering: proposition5) Mathematics: exposition, inference, opinion, sentence, statement7) Jargon: two cents' worth8) Information technology: argument9) Programming: (утвердительное) assertion11) Makarov: understanding -
17 шаг вывода
1) Computers: derivation step2) Programming: inference step
См. также в других словарях:
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu … Wikipedia
Inference engine — In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the brain that expert systems use to… … Wikipedia
Comparison of programming languages — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Comparison of programming languages (mapping) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Oxygene (programming language) — Oxygene Developer RemObjects Software Stable release 3.0.21 (August 29, 2009; 2 years ago (2009 08 29)) Influenced by Object Pas … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
ML (programming language) — ML Paradigm(s) multi paradigm: imperative, functional Appeared in 1973 Designed by Robin Milner others at the University of Edinburgh Typing discipline static, strong, inferred … Wikipedia
Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia
